Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔗Concatenative Theory
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·6h
📋Souffle Datalog
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·21h·
Discuss: DEV
🧮Theorem Provers
The Power of Three: Ternary Logic, Triolectics, and Three Sided Football
sothismedias.com·35m·
Discuss: Hacker News
🔗Concatenative Theory
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·20h·
Discuss: Hacker News
🌲Tree Rewriting
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·1d·
Discuss: Hacker News
🔍ML Language
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·1d·
Discuss: Hacker News
💬Interactive REPLs
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·2d·
Discuss: Hacker News, r/LLM
🔍ML Language
Teaching Models to Decide When to Retrieve: Adaptive RAG, Part 4
blog.reachsumit.com·2h·
Discuss: Hacker News
🪜Recursive Descent
FinReflectKG - MultiHop: Financial QA Benchmark for Reasoning with Knowledge Graph Evidence
arxiv.org·6h
📈Earley Parsing
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·6h
🎲Parser Fuzzing
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·1d·
Discuss: Hacker News
🧩Constraint Solvers
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·7h
🔒Rust Borrowing
How Much Should You Tell Your AI Agent?
raymondyxu.com·16h·
Discuss: Hacker News
💬Interactive REPLs
Hilbert: Recursively Building Formal Proofs with Informal Reasoning
machinelearning.apple.com·4d
📜Proof Languages
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·6h·
Discuss: DEV
🌳Pattern Match Compilation
Fun with HyperLogLog and SIMD
vaktibabat.github.io·2d·
Discuss: Hacker News, r/rust
🔢Bit Manipulation
ECS Implementation
reddit.com·1d·
Discuss: r/cpp
🤖Embedded Go
Using Information Entropy To Make Choices / Choose Experiments
blog.demofox.org·6h
🔗Hash Functions
Reflections on Designing a Search Autocomplete System
torontostudygroup.github.io·1d·
Discuss: DEV
🌿Trie Structures